Jan Tretmans: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Improving active Mealy machine learning for protocol conformance testing

Aarts, Fides, Kuppens, Harco, Tretmans, Jan, Vaandrager, Frits, Verwer, Sicco

Journal:

Machine Learning

Year:

2014

Language:

english

File:

PDF, 2.21 MB

english, 2014

2

Model-Based Testing 2010: Short Abstracts

Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 1.10 MB

english, 2010

3

Conformance testing with labelled transition systems: Implementation relations and test generation

Journal:

Computer Networks and ISDN Systems

Year:

1996

Language:

english

File:

PDF, 2.39 MB

english, 1996

4

On-the-fly conformance testing using SPIN

René G. de Vries, Jan Tretmans

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2000

Language:

english

File:

PDF, 260 KB

english, 2000

5

Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods

Jan Tretmans, Klaas Wijbrans, Michel Chaudron

Journal:

Formal Methods in System Design

Year:

2001

Language:

english

File:

PDF, 646 KB

english, 2001

6

[Lecture Notes in Computer Science] Testing of Software and Communicating Systems Volume 4581 || Model Based Testing of an Embedded Session and Transport Protocol

Petrenko, Alexandre, Veanes, Margus, Tretmans, Jan, Grieskamp, Wolfgang

Year:

2007

Language:

english

File:

PDF, 413 KB

english, 2007

7

[ACM Press the 2013 International Workshop - Lugano, Switzerland (2013.07.15-2013.07.15)] Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation - JAMAICA 2013 - Towards quality of model-based testing in the ioco framework

Volpato, Michele, Tretmans, Jan

Year:

2013

Language:

english

File:

PDF, 337 KB

english, 2013

8

[Lecture Notes in Computer Science] Testing of Software and Communicating Systems Volume 4581 ||

Petrenko, Alexandre, Veanes, Margus, Tretmans, Jan, Grieskamp, Wolfgang

Year:

2007

Language:

english

File:

PDF, 9.46 MB

english, 2007

9

[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - From POOSL to UPPAAL: Transformation and Quantitative Analysis

Xing, Jiansheng, Theelen, B.D., Langerak, Rom, van de Pol, Jaco, Tretmans, Jan, Voeten, J.P.M.

Year:

2010

Language:

english

File:

PDF, 713 KB

english, 2010

10

[Lecture Notes in Computer Science] Testing of Software and Communicating Systems Volume 4581 || Implementing Conformiq Qtronic

Petrenko, Alexandre, Veanes, Margus, Tretmans, Jan, Grieskamp, Wolfgang

Year:

2007

Language:

english

File:

PDF, 446 KB

english, 2007

11

Situation Awareness with Systems of Systems || Recognizing Vessel Movements from Historical Data

van de Laar, Piërre, Tretmans, Jan, Borth, Michael

Year:

2013

Language:

english

File:

PDF, 1.29 MB

english, 2013

12

Situation Awareness with Systems of Systems ||

van de Laar, Piërre, Tretmans, Jan, Borth, Michael

Year:

2013

Language:

english

File:

PDF, 8.61 MB

english, 2013

13

[ACM Press the tenth ACM international conference - Scottsdale, Arizona, USA (2010.10.24-2010.10.29)] Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '10 - Quantitative system validation in model driven design

Hermanns, Holger, Larsen, Kim Guldstrand, Raskin, Jean-François, Tretmans, Jan

Year:

2010

Language:

english

File:

PDF, 433 KB

english, 2010